Building and Construction Classification Systems

Building Robust Systems with Fallible Construction

Fabric: Building open distributed systems securely by construction

Distributed information systems are prevalent in modern computing but difficult to build securely. Because systems commonly span domains of trust, host nodes share data and code of varying degrees of trustworthiness. Modern systems are often open and extensible, making security even harder to reason about. Unfortunately, standard methods for software construction do not help programmers enough ...

Building secure-by-construction distributed component-based systems

We present an automated method to build secure distributed systems from an abstract multilevel security component-based model. We take as input a high-level secureBIP componentbased model and transform it into a decentralized Send/Receive secureBIP model and further on distributed code. The security policy is defined at the design time. Information flow policy is verified and automatically pres...

Construction Methods and Building Materials

Today visitors often approach the massive pyramids, temples, and obelisks of the ancient Egyptians with wonder and disbelief. The huge blocks of stone used to create these architectural masterpieces were quarried and moved without the aid of modern technologies, and it is diffi cult for us to imagine how such feats of engineering could be accomplished without the aid of cranes, bulldozers, truc...

Building Classification

Object recognition and image classification has become an area of intense focus in machine learning and pattern recognition. Building recognition and classification rise into attention in the area of urban reconstruction where a number of images of buildings are used. We first compare different classification approaches to discriminate the class building from the class non-building. The images ...